package facile

  1. Overview
  2. Docs
val i2e : int -> Arith.t
val fd2e : Var.Fd.t -> Arith.t
val (+~) : Arith.t -> Arith.t -> Arith.t
val (*~) : Arith.t -> Arith.t -> Arith.t
val (-~) : Arith.t -> Arith.t -> Arith.t
val (/~) : Arith.t -> Arith.t -> Arith.t
val (**~) : Arith.t -> int -> Arith.t
val (%~) : Arith.t -> Arith.t -> Arith.t
val (<=~) : Arith.t -> Arith.t -> Cstr.t
val (<~) : Arith.t -> Arith.t -> Cstr.t
val (>~) : Arith.t -> Arith.t -> Cstr.t
val (=~) : Arith.t -> Arith.t -> Cstr.t
val (<>~) : Arith.t -> Arith.t -> Cstr.t
val (>=~) : Arith.t -> Arith.t -> Cstr.t
val (<=~~) : Arith.t -> Arith.t -> Arith.t
val (<~~) : Arith.t -> Arith.t -> Arith.t
val (>~~) : Arith.t -> Arith.t -> Arith.t
val (=~~) : Arith.t -> Arith.t -> Arith.t
val (<>~~) : Arith.t -> Arith.t -> Arith.t
val (>=~~) : Arith.t -> Arith.t -> Arith.t
val (&&~~) : Cstr.t -> Cstr.t -> Cstr.t
val (||~~) : Cstr.t -> Cstr.t -> Cstr.t
val (=>~~) : Cstr.t -> Cstr.t -> Cstr.t
val (<=>~~) : Cstr.t -> Cstr.t -> Cstr.t
val (&&~) : Goals.t -> Goals.t -> Goals.t
val (||~) : Goals.t -> Goals.t -> Goals.t
module Fd : Var.FD with type t = Var.Fd.t and type domain = Domain.t and type elt = Domain.elt and type attr = Var.Attr.t and type event = Var.Attr.event
type ('a, 'b) concrete' = ('a, 'b) Var.concrete =
  1. | Unk of 'a
  2. | Val of 'b
type concrete_fd = (Fd.attr, Fd.elt) concrete'