package facile

  1. Overview
  2. Docs

Module Facile.CstrSource

Sourceexception DontKnow
Sourcetype priority
Sourceval immediate : priority
Sourceval normal : priority
Sourceval later : priority
Sourcetype t
Sourceval id : t -> int
Sourceval name : t -> string
Sourceval priority : t -> priority
Sourceval fprint : out_channel -> t -> unit
Sourceval is_solved : t -> bool
Sourceval create : ?name:string -> ?nb_wakings:int -> ?fprint:(out_channel -> unit) -> ?priority:priority -> ?init:(unit -> unit) -> ?check:(unit -> bool) -> ?not:(unit -> t) -> (int -> bool) -> (t -> unit) -> t
Sourceval post : t -> unit
Sourceval init : t -> unit
Sourceval one : t
Sourceval zero : t
Sourceval active_store : unit -> t list
OCaml

Innovation. Community. Security.