module Easy: sig
.. end
val i2e : int -> Facile.Arith.t
val fd2e : Facile.Var.Fd.t -> Facile.Arith.t
val (+~) : Facile.Arith.t -> Facile.Arith.t -> Facile.Arith.t
val ( *~ ) : Facile.Arith.t -> Facile.Arith.t -> Facile.Arith.t
val (-~) : Facile.Arith.t -> Facile.Arith.t -> Facile.Arith.t
val (/~) : Facile.Arith.t -> Facile.Arith.t -> Facile.Arith.t
val ( **~ ) : Facile.Arith.t -> int -> Facile.Arith.t
val (%~) : Facile.Arith.t -> Facile.Arith.t -> Facile.Arith.t
val (<=~) : Facile.Arith.t -> Facile.Arith.t -> Facile.Cstr.t
val (<~) : Facile.Arith.t -> Facile.Arith.t -> Facile.Cstr.t
val (>~) : Facile.Arith.t -> Facile.Arith.t -> Facile.Cstr.t
val (=~) : Facile.Arith.t -> Facile.Arith.t -> Facile.Cstr.t
val (<>~) : Facile.Arith.t -> Facile.Arith.t -> Facile.Cstr.t
val (>=~) : Facile.Arith.t -> Facile.Arith.t -> Facile.Cstr.t
val (<=~~) : Facile.Arith.t -> Facile.Arith.t -> Facile.Arith.t
val (<~~) : Facile.Arith.t -> Facile.Arith.t -> Facile.Arith.t
val (>~~) : Facile.Arith.t -> Facile.Arith.t -> Facile.Arith.t
val (=~~) : Facile.Arith.t -> Facile.Arith.t -> Facile.Arith.t
val (<>~~) : Facile.Arith.t -> Facile.Arith.t -> Facile.Arith.t
val (>=~~) : Facile.Arith.t -> Facile.Arith.t -> Facile.Arith.t
val (&&~~) : Facile.Cstr.t -> Facile.Cstr.t -> Facile.Cstr.t
val (||~~) : Facile.Cstr.t -> Facile.Cstr.t -> Facile.Cstr.t
val (=>~~) : Facile.Cstr.t -> Facile.Cstr.t -> Facile.Cstr.t
val (<=>~~) : Facile.Cstr.t -> Facile.Cstr.t -> Facile.Cstr.t
val (&&~) : Facile.Goals.t -> Facile.Goals.t -> Facile.Goals.t
val (||~) : Facile.Goals.t -> Facile.Goals.t -> Facile.Goals.t
module Fd: Facile.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) Facile.Var.concrete
=
type
concrete_fd = (Fd.attr, Fd.elt) concrete'