package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type uop =
  1. | PNot
  2. | PNop
type bop =
  1. | PAnd
  2. | POr
  3. | PIff
  4. | PImp
  5. | PXor
type !'a expr =
  1. | PCst of bool
  2. | PVar of 'a
  3. | PUop of uop * 'a expr
  4. | PBop of bop * 'a expr * 'a expr
module ToS : sig ... end
val no : 'a expr -> 'a expr
val xorb : bool -> 'a expr -> 'a expr
val (&!) : 'a expr -> 'a expr -> 'a expr
val (|!) : 'a expr -> 'a expr -> 'a expr
val (^!) : 'a expr -> 'a expr -> 'a expr
val (=!) : 'a expr -> 'a expr -> 'a expr
val cons : 'a expr -> 'a expr -> 'a expr -> 'a expr
val ite : 'a expr -> 'a expr -> 'a expr -> 'a expr
val default_fold_left : ('a -> 'a -> 'a) -> 'a -> 'a list -> 'a
val andl : 'a expr list -> 'a expr
val orl : 'a expr list -> 'a expr
val xorl : 'a expr list -> 'a expr
val iffl : 'a expr list -> 'a expr
val string_of_uop : uop -> string
val string_of_bop : bop -> string
val to_stree : ('a -> string) -> 'a expr -> GuaCaml.Tree.stree
val to_string : ('a -> string) -> 'a expr -> string
val map_var : ('a -> 'b) -> 'a expr -> 'b expr
val count_var : 'a expr -> int