sig
  type ('a, 'b, 'c, 'd, 'e, 'f) man = {
    man : ('a, 'b, 'c, 'd) Bddapron.Domain0.man;
    pman : 'e;
    print :
      'e ->
      'a Bddapron.Env.t ->
      'a Bddapron.Cond.t -> Format.formatter -> 'f -> unit;
    meet_condition_apply :
      'e ->
      'a Bddapron.Env.t ->
      'a Bddapron.Cond.t -> 'f -> 'd -> 'a Bddapron.Expr0.Bool.t -> 'd;
    meet_condition_improve :
      'e ->
      'a Bddapron.Env.t ->
      'a Bddapron.Cond.t -> 'f option -> 'd -> 'a Bddapron.Expr0.Bool.t -> 'f;
  }
end