Up
Module
Fields
Signature
val
names : string list
val
hard : (
t
,
value
)
Fieldslib.Field.t
val
soft : (
t
,
value
)
Fieldslib.Field.t
val
fold : init:'acc__ -> soft:('acc__ -> (
t
,
value
)
Fieldslib.Field.t
-> 'acc__) -> hard:('acc__ -> (
t
,
value
)
Fieldslib.Field.t
-> 'acc__) -> 'acc__
val
make_creator : soft:((
t
,
value
)
Fieldslib.Field.t
-> 'compile_acc__ -> ('input__ ->
value
) * 'compile_acc__) -> hard:((
t
,
value
)
Fieldslib.Field.t
-> 'compile_acc__ -> ('input__ ->
value
) * 'compile_acc__) -> 'compile_acc__ -> ('input__ ->
t
) * 'compile_acc__
val
create : soft:
value
-> hard:
value
->
t
val
map : soft:((
t
,
value
)
Fieldslib.Field.t
->
value
) -> hard:((
t
,
value
)
Fieldslib.Field.t
->
value
) ->
t
val
iter : soft:((
t
,
value
)
Fieldslib.Field.t
-> unit) -> hard:((
t
,
value
)
Fieldslib.Field.t
-> unit) -> unit
val
for_all : soft:((
t
,
value
)
Fieldslib.Field.t
-> bool) -> hard:((
t
,
value
)
Fieldslib.Field.t
-> bool) -> bool
val
exists : soft:((
t
,
value
)
Fieldslib.Field.t
-> bool) -> hard:((
t
,
value
)
Fieldslib.Field.t
-> bool) -> bool
val
to_list : soft:((
t
,
value
)
Fieldslib.Field.t
-> 'elem__) -> hard:((
t
,
value
)
Fieldslib.Field.t
-> 'elem__) -> 'elem__ list
val
map_poly : ([<
| `Read
| `Set_and_create
],
t
, 'x0)
Fieldslib.Field.user
-> 'x0 list
module
Direct
: sig .. end