Previous  Up  Next

Module Bddapron.Policy.PDomain0

module PDomain0: sig .. end
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;
}