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