Module type State_builder.List_ref

module type List_ref = sig .. end

Output signature of ListRef.


type data_in_list 
include State_builder.Ref
val add : data_in_list -> unit
val iter : (data_in_list -> unit) -> unit
val fold_left : ('a -> data_in_list -> 'a) -> 'a -> 'a