package facile

  1. Overview
  2. Docs

Module Facile.EasySource

Sourceval i2e : int -> Arith.t
Sourceval fd2e : Var.Fd.t -> Arith.t
Sourceval (+~) : Arith.t -> Arith.t -> Arith.t
Sourceval (*~) : Arith.t -> Arith.t -> Arith.t
Sourceval (-~) : Arith.t -> Arith.t -> Arith.t
Sourceval (/~) : Arith.t -> Arith.t -> Arith.t
Sourceval (**~) : Arith.t -> int -> Arith.t
Sourceval (%~) : Arith.t -> Arith.t -> Arith.t
Sourceval (<=~) : Arith.t -> Arith.t -> Cstr.t
Sourceval (<~) : Arith.t -> Arith.t -> Cstr.t
Sourceval (>~) : Arith.t -> Arith.t -> Cstr.t
Sourceval (=~) : Arith.t -> Arith.t -> Cstr.t
Sourceval (<>~) : Arith.t -> Arith.t -> Cstr.t
Sourceval (>=~) : Arith.t -> Arith.t -> Cstr.t
Sourceval (<=~~) : Arith.t -> Arith.t -> Arith.t
Sourceval (<~~) : Arith.t -> Arith.t -> Arith.t
Sourceval (>~~) : Arith.t -> Arith.t -> Arith.t
Sourceval (=~~) : Arith.t -> Arith.t -> Arith.t
Sourceval (<>~~) : Arith.t -> Arith.t -> Arith.t
Sourceval (>=~~) : Arith.t -> Arith.t -> Arith.t
Sourceval (&&~~) : Cstr.t -> Cstr.t -> Cstr.t
Sourceval (||~~) : Cstr.t -> Cstr.t -> Cstr.t
Sourceval (=>~~) : Cstr.t -> Cstr.t -> Cstr.t
Sourceval (<=>~~) : Cstr.t -> Cstr.t -> Cstr.t
Sourceval (&&~) : Goals.t -> Goals.t -> Goals.t
Sourceval (||~) : Goals.t -> Goals.t -> Goals.t
Sourcemodule 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
Sourcetype ('a, 'b) concrete' = ('a, 'b) Var.concrete =
  1. | Unk of 'a
  2. | Val of 'b
Sourcetype concrete_fd = (Fd.attr, Fd.elt) concrete'