package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'a expr0 =
  1. | AVar of bool * 'a
  2. | NAnd of 'a expr0 list
type !'a expr1 =
  1. | R0
  2. | RE of 'a expr0
type !'a expr = bool * 'a expr1
module ToS : sig ... end
val no : 'a expr -> 'a expr
val xorb : bool -> 'a expr -> 'a expr
val no0 : 'a expr0 -> 'a expr0
val xorb0 : bool -> 'a expr0 -> 'a expr0
val nand_var : (bool * 'a) -> (bool * 'a expr0) -> 'a expr0
val nandb0 : (bool * 'a expr0) -> (bool * 'a expr0) -> 'a expr0
val nandb : '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 (=!) : 'a expr -> 'a expr -> 'a expr
val (->!) : 'a expr -> 'a expr -> 'a expr
val cst : 'a -> 'a * 'b expr1
val var : 'a -> bool * 'a expr1
val rexpr_of_expr : 'a Expr.expr -> 'a expr
val strdump : ('a -> string) -> (bool -> string) -> (bool -> string) -> (bool -> string) -> 'a expr -> string