Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val var : (dim_var -> dim) Variantslib.Variant.t
val dim :
(d:Base.int ->
label:Base.string Base.option ->
proj_id:Base.int Base.option ->
dim)
Variantslib.Variant.t
val fold :
init:'acc__0 ->
var:('acc__0 -> (dim_var -> dim) Variantslib.Variant.t -> 'acc__1) ->
dim:
('acc__1 ->
(d:Base.int ->
label:Base.string Base.option ->
proj_id:Base.int Base.option ->
dim)
Variantslib.Variant.t ->
'acc__2) ->
'acc__2
val iter :
var:((dim_var -> dim) Variantslib.Variant.t -> Base.unit) ->
dim:
((d:Base.int ->
label:Base.string Base.option ->
proj_id:Base.int Base.option ->
dim)
Variantslib.Variant.t ->
Base.unit) ->
Base.unit
val map :
dim ->
var:((dim_var -> dim) Variantslib.Variant.t -> dim_var -> 'result__) ->
dim:
((d:Base.int ->
label:Base.string Base.option ->
proj_id:Base.int Base.option ->
dim)
Variantslib.Variant.t ->
d:Base.int ->
label:Base.string Base.option ->
proj_id:Base.int Base.option ->
'result__) ->
'result__
val make_matcher :
var:
((dim_var -> dim) Variantslib.Variant.t ->
'acc__0 ->
(dim_var -> 'result__) * 'acc__1) ->
dim:
((d:Base.int ->
label:Base.string Base.option ->
proj_id:Base.int Base.option ->
dim)
Variantslib.Variant.t ->
'acc__1 ->
(d:Base.int ->
label:Base.string Base.option ->
proj_id:Base.int Base.option ->
'result__)
* 'acc__2) ->
'acc__0 ->
(dim -> 'result__) * 'acc__2
val to_name : dim -> Base.string
val descriptions : (Base.string * Base.int) Base.list