Rocq Standard Library: Internal Component Dependencies

stdlib_deps program program logic logic program->logic corelib_wrapper corelib_wrapper program->corelib_wrapper relations relations relations->corelib_wrapper classes classes classes->program classes->relations bool bool bool->classes orders orders orders->bool naturals naturals naturals->orders integers integers integers->naturals lists lists lists->naturals ring ring ring->integers ring->lists arith arith arith->ring lia lia lia->ring zarith zarith zarith->lia primitive_int primitive_int primitive_int->zarith unicode unicode primitive_int->unicode primitive_array primitive_array primitive_array->primitive_int primitive_floats primitive_floats primitive_floats->primitive_int narith narith narith->ring classical_logic classical_logic classical_logic->naturals sets sets sets->classical_logic sorting sorting sorting->lia sorting->sets strings strings strings->integers strings->lists orders_ex orders_ex orders_ex->narith orders_ex->sorting orders_ex->strings primitive_string primitive_string primitive_string->primitive_int primitive_string->orders_ex extraction extraction extraction->arith extraction->primitive_array extraction->primitive_floats extraction->primitive_string fmaps_fsets_msets fmaps_fsets_msets fmaps_fsets_msets->arith fmaps_fsets_msets->zarith fmaps_fsets_msets->orders_ex funind funind funind->lists field field field->ring rationals rationals rationals->ring lqa lqa lqa->field lqa->rationals qarith qarith qarith->zarith qarith->lqa vectors vectors vectors->lists reals reals reals->arith reals->classical_logic reals->qarith reals->vectors streams streams streams->logic wellfounded wellfounded wellfounded->lists zmod zmod zmod->zarith zmod->sorting zmod->field compat compat compat->extraction compat->fmaps_fsets_msets compat->funind compat->reals compat->streams compat->wellfounded compat->zmod all all all->compat
Subcomponent corelib_wrapper
contains
Subcomponent logic
contains
Subcomponent program
depends on and contains
Subcomponent relations
depends on and contains
Subcomponent classes
depends on and contains
Subcomponent bool
depends on and contains
Subcomponent orders
depends on and contains
Subcomponent naturals
depends on and contains
Subcomponent integers
depends on and contains
Subcomponent lists
depends on and contains
Subcomponent ring
depends on and contains
Subcomponent arith
depends on and contains
Subcomponent unicode
contains
Subcomponent lia
depends on and contains
Subcomponent zarith
depends on and contains
Subcomponent primitive_int
depends on and contains
Subcomponent primitive_array
depends on and contains
Subcomponent primitive_floats
depends on and contains
Subcomponent narith
depends on and contains
Subcomponent classical_logic
depends on and contains
Subcomponent sets
depends on and contains
Subcomponent sorting
depends on and contains
Subcomponent strings
depends on and contains
Subcomponent orders_ex
depends on and contains
Subcomponent primitive_string
depends on and contains
Subcomponent extraction
depends on and contains
Subcomponent fmaps_fsets_msets
depends on and contains
Subcomponent funind
depends on and contains
Subcomponent field
depends on and contains
Subcomponent rationals
depends on and contains
Subcomponent lqa
depends on and contains
Subcomponent qarith
depends on and contains
Subcomponent vectors
depends on and contains
Subcomponent reals
depends on and contains
Subcomponent streams
depends on and contains
Subcomponent wellfounded
depends on and contains
Subcomponent zmod
depends on and contains
Subcomponent compat
depends on and contains
Subcomponent all
depends on and contains