package facile

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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 : sig ... end

type (!'a, !'b) concrete' = ('a, 'b) Var.concrete =

type concrete_fd = (Fd.attr, Fd.elt) concrete'