Functor Computation.ListRef


module ListRef: 
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
Build a reference on a list.
Since Boron-20100401
Parameters:
Data : Project.Datatype.S
Info : Signature.NAME_DPDS

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