Module Facile.Easy

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 = 
| Unk of 'a
| Val of 'b
type concrete_fd = (Fd.attr, Fd.elt) concrete'