module ListRef:Build a reference on a list.functor (
Data
:
Project.Datatype.S
) ->
functor (
Info
:
Signature.NAME_DPDS
) ->
LIST_REF_OUTPUT
with type data = Data.t list and type data_in_list = Data.t
Parameters: |
|
type
data_in_list
include Computation.REF_OUTPUT
val iter : (data_in_list -> unit) -> unit
val fold_left : ('a -> data_in_list -> 'a) -> 'a -> 'a