package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type rbop =
  1. | RAnd
  2. | RXor
type !'a aexpr =
  1. | RVar of 'a
  2. | RBop of rbop * 'a bexpr list
and !'a bexpr = bool * 'a aexpr
type !'a rexpr =
  1. | RCst of bool
  2. | RExpr of 'a bexpr
val no : 'a rexpr -> 'a rexpr
val xorb : bool -> 'a rexpr -> 'a rexpr
val (&!) : 'a rexpr -> 'a rexpr -> 'a rexpr
val (^!) : 'a rexpr -> 'a rexpr -> 'a rexpr
val strdump : ('a -> string) -> (bool -> string) -> (rbop -> string) -> string -> 'a rexpr -> string
val (|!) : 'a rexpr -> 'a rexpr -> 'a rexpr
val (->!) : 'a rexpr -> 'a rexpr -> 'a rexpr
val (=!) : 'a rexpr -> 'a rexpr -> 'a rexpr
val rexpr_of_expr : 'a Expr.expr -> 'a rexpr