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

type t

val name : t -> string

val fprint : out_channel -> t -> unit

val atomic : ?name:string -> (unit -> unit) -> t

val create : ?name:string -> ('a -> t) -> 'a -> t

val create_rec : ?name:string -> (t -> t) -> t

val fail : t

val success : t

val (&&~) : t -> t -> t

val (||~) : t -> t -> t

val once : t -> t

val solve : ?control:(int -> unit) -> t -> bool

val lds : ?step:int -> t -> t

val unify : Var.Fd.t -> int -> t

val indomain : Var.Fd.t -> t

val instantiate : (Domain.t -> int) -> Var.Fd.t -> t

val dichotomic : Var.Fd.t -> t

val forto : int -> int -> (int -> t) -> t

val fordownto : int -> int -> (int -> t) -> t

module Array : sig ... end

module GlArray : sig ... end

module List : sig ... end

module GlList : sig ... end

type bb_mode =

val minimize : 
  ?step:int ->
  ?mode:bb_mode ->
  t ->
  Var.Fd.t ->
  (int -> unit) ->
  t

val sigma : ?domain:Domain.t -> (Var.Fd.t -> t) -> t

module Conjunto : sig ... end