package bddapron

  1. Overview
  2. Docs
package bddapron
Legend:
Library
Module
Module type
Parameter
Class
Class type
type (!'a, !'b, !'c, !'d, !'e, !'f) man = {
  1. man : ('a, 'b, 'c, 'd) Domain0.man;
  2. pman : 'e;
  3. print : 'e -> 'a Env.t -> 'a Cond.t -> Format.formatter -> 'f -> unit;
  4. meet_condition_apply : 'e -> 'a Env.t -> 'a Cond.t -> 'f -> 'd -> 'a Expr0.Bool.t -> 'd;
  5. meet_condition_improve : 'e -> 'a Env.t -> 'a Cond.t -> 'f option -> 'd -> 'a Expr0.Bool.t -> 'f;
}