sig
type ('v, 't) generator
type ('v, 't) mutator
type ('v, 't) observer
type ('v, 't) op
val op_to_string : ('v, 't) Reins.DugADT.S.op -> string
val coerce_gen :
('v, 't) Reins.DugADT.S.generator -> ('v, 't) Reins.DugADT.S.op
val coerce_mut :
('v, 't) Reins.DugADT.S.mutator -> ('v, 't) Reins.DugADT.S.op
val coerce_obs :
('v, 't) Reins.DugADT.S.observer -> ('v, 't) Reins.DugADT.S.op
val classify :
('v, 't) Reins.DugADT.S.op ->
(('v, 't) Reins.DugADT.S.generator, ('v, 't) Reins.DugADT.S.mutator,
('v, 't) Reins.DugADT.S.observer)
Reins.Dug.kind
val strip : ('v, 't) Reins.DugADT.S.op -> (unit, unit) Reins.DugADT.S.op
val op_dependencies : ('a, Dug.Id.t) Reins.DugADT.S.op -> Dug.Id.t list
val create_op :
(unit, unit) Reins.DugADT.S.op ->
Dug.Id.t ->
(unit -> 'a) -> (int -> Dug.Id.t) -> ('a, Dug.Id.t) Reins.DugADT.S.op
end