package facile

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Facile.Goals`Source

Sourcetype t

Sourceval name : t -> string

Sourceval fprint : out_channel -> t -> unit

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

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

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

Sourceval fail : t

Sourceval success : t

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

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

Sourceval once : t -> t

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

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

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

Sourceval indomain : Var.Fd.t -> t

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

Sourceval dichotomic : Var.Fd.t -> t

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

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

Sourcemodule Array : sig ... end

Sourcemodule GlArray : sig ... end

Sourcemodule List : sig ... end

Sourcemodule GlList : sig ... end

Sourcetype bb_mode =

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

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

Sourcemodule Conjunto : sig ... end