package bddapron

  1. Overview
  2. Docs
package bddapron
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'a t = ('a Env.t, 'a Expr0.t list) Env.value
val of_lexpr0 : 'a Env.t -> 'a Expr0.t list -> 'a t
val get_env : 'a t -> 'a Env.t
val to_lexpr0 : 'a t -> 'a Expr0.t list
val of_lexpr : 'a Env.t -> 'a expr list -> 'a t
val to_lexpr : 'a t -> 'a expr list
val extend_environment : 'a t -> 'a Env.t -> 'a t
val normalize : ?reduce:bool -> ?careset:bool -> ('a Cond.t * 'a t) -> 'a Cond.t * 'a t
val print : ?first:(unit, Format.formatter, unit) format -> ?sep:(unit, Format.formatter, unit) format -> ?last:(unit, Format.formatter, unit) format -> 'a Cond.t -> Format.formatter -> 'a t -> unit