package zelus

  1. Overview
  2. Docs
type 'a collection =
  1. | And of 'a collection list
  2. | Before of 'a collection list
  3. | Leaf of 'a

Read/writes of an equation.

val def : Zelus.eq -> Zident.S.t
val init : Zelus.eq -> bool

Initialization equations init x = e and

val nodep : Zelus.eq -> bool
val index : Zelus.eq -> int
val unsafe : Zelus.eq -> bool
val fresh : int -> Zelus.eq collection -> Zelus.eq collection * int
val make_unsafes : 'a -> 'b -> 'c Graph.graph -> Zelus.eq collection -> 'c Graph.graph
val print : Stdlib.Format.formatter -> Zelus.eq Graph.graph -> unit
OCaml

Innovation. Community. Security.