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

type domain = SetDomain.t

type elt = SetDomain.S.t

type event

val dom : t -> domain

val on_refine : event

val on_subst : event

val on_min : event

val on_max : event

val fprint : out_channel -> t -> unit

val min : t -> elt

val max : t -> elt

val member : t -> elt -> bool

val id : t -> int

val constraints_number : t -> int

val size : t -> int