Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val dim_eq : (d1:dim -> d2:dim -> constraint_) Variantslib.Variant.t
val row_eq : (r1:t -> r2:t -> constraint_) Variantslib.Variant.t
val dim_ineq : (cur:dim -> subr:dim -> constraint_) Variantslib.Variant.t
val row_ineq : (cur:t -> subr:t -> constraint_) Variantslib.Variant.t
val dim_constr :
(d:dim -> constr:dim_constraint -> constraint_) Variantslib.Variant.t
val row_constr :
(r:t -> constr:row_constraint -> constraint_) Variantslib.Variant.t
val terminal_dim : (dim -> constraint_) Variantslib.Variant.t
val terminal_row : (t -> constraint_) Variantslib.Variant.t
val fold :
init:'acc__0 ->
dim_eq:
('acc__0 ->
(d1:dim -> d2:dim -> constraint_) Variantslib.Variant.t ->
'acc__1) ->
row_eq:
('acc__1 -> (r1:t -> r2:t -> constraint_) Variantslib.Variant.t -> 'acc__2) ->
dim_ineq:
('acc__2 ->
(cur:dim -> subr:dim -> constraint_) Variantslib.Variant.t ->
'acc__3) ->
row_ineq:
('acc__3 ->
(cur:t -> subr:t -> constraint_) Variantslib.Variant.t ->
'acc__4) ->
dim_constr:
('acc__4 ->
(d:dim -> constr:dim_constraint -> constraint_) Variantslib.Variant.t ->
'acc__5) ->
row_constr:
('acc__5 ->
(r:t -> constr:row_constraint -> constraint_) Variantslib.Variant.t ->
'acc__6) ->
terminal_dim:
('acc__6 -> (dim -> constraint_) Variantslib.Variant.t -> 'acc__7) ->
terminal_row:('acc__7 -> (t -> constraint_) Variantslib.Variant.t -> 'acc__8) ->
'acc__8
val iter :
dim_eq:((d1:dim -> d2:dim -> constraint_) Variantslib.Variant.t -> Base.unit) ->
row_eq:((r1:t -> r2:t -> constraint_) Variantslib.Variant.t -> Base.unit) ->
dim_ineq:
((cur:dim -> subr:dim -> constraint_) Variantslib.Variant.t -> Base.unit) ->
row_ineq:
((cur:t -> subr:t -> constraint_) Variantslib.Variant.t -> Base.unit) ->
dim_constr:
((d:dim -> constr:dim_constraint -> constraint_) Variantslib.Variant.t ->
Base.unit) ->
row_constr:
((r:t -> constr:row_constraint -> constraint_) Variantslib.Variant.t ->
Base.unit) ->
terminal_dim:((dim -> constraint_) Variantslib.Variant.t -> Base.unit) ->
terminal_row:((t -> constraint_) Variantslib.Variant.t -> Base.unit) ->
Base.unit
val map :
constraint_ ->
dim_eq:
((d1:dim -> d2:dim -> constraint_) Variantslib.Variant.t ->
d1:dim ->
d2:dim ->
'result__) ->
row_eq:
((r1:t -> r2:t -> constraint_) Variantslib.Variant.t ->
r1:t ->
r2:t ->
'result__) ->
dim_ineq:
((cur:dim -> subr:dim -> constraint_) Variantslib.Variant.t ->
cur:dim ->
subr:dim ->
'result__) ->
row_ineq:
((cur:t -> subr:t -> constraint_) Variantslib.Variant.t ->
cur:t ->
subr:t ->
'result__) ->
dim_constr:
((d:dim -> constr:dim_constraint -> constraint_) Variantslib.Variant.t ->
d:dim ->
constr:dim_constraint ->
'result__) ->
row_constr:
((r:t -> constr:row_constraint -> constraint_) Variantslib.Variant.t ->
r:t ->
constr:row_constraint ->
'result__) ->
terminal_dim:((dim -> constraint_) Variantslib.Variant.t -> dim -> 'result__) ->
terminal_row:((t -> constraint_) Variantslib.Variant.t -> t -> 'result__) ->
'result__
val make_matcher :
dim_eq:
((d1:dim -> d2:dim -> constraint_) Variantslib.Variant.t ->
'acc__0 ->
(d1:dim -> d2:dim -> 'result__) * 'acc__1) ->
row_eq:
((r1:t -> r2:t -> constraint_) Variantslib.Variant.t ->
'acc__1 ->
(r1:t -> r2:t -> 'result__) * 'acc__2) ->
dim_ineq:
((cur:dim -> subr:dim -> constraint_) Variantslib.Variant.t ->
'acc__2 ->
(cur:dim -> subr:dim -> 'result__) * 'acc__3) ->
row_ineq:
((cur:t -> subr:t -> constraint_) Variantslib.Variant.t ->
'acc__3 ->
(cur:t -> subr:t -> 'result__) * 'acc__4) ->
dim_constr:
((d:dim -> constr:dim_constraint -> constraint_) Variantslib.Variant.t ->
'acc__4 ->
(d:dim -> constr:dim_constraint -> 'result__) * 'acc__5) ->
row_constr:
((r:t -> constr:row_constraint -> constraint_) Variantslib.Variant.t ->
'acc__5 ->
(r:t -> constr:row_constraint -> 'result__) * 'acc__6) ->
terminal_dim:
((dim -> constraint_) Variantslib.Variant.t ->
'acc__6 ->
(dim -> 'result__) * 'acc__7) ->
terminal_row:
((t -> constraint_) Variantslib.Variant.t ->
'acc__7 ->
(t -> 'result__) * 'acc__8) ->
'acc__0 ->
(constraint_ -> 'result__) * 'acc__8
val to_rank : constraint_ -> Base.int
val to_name : constraint_ -> Base.string