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.Invariant`Source

Sourcetype ('a, 'b) t

Sourcetype setable

Sourcetype unsetable

Sourcetype 'a setable_t = ('a, setable) t

Sourcetype 'a unsetable_t = ('a, unsetable) t

Sourceval create : ?name:string -> 'a -> 'a setable_t

Sourceval constant : ?name:string -> 'a -> 'a unsetable_t

Sourceval set : 'a setable_t -> 'a -> unit

Sourceval get : ('a, 'b) t -> 'a

Sourceval id : ('a, 'b) t -> int

Sourceval name : ('a, 'b) t -> string

val fprint : 
  out_channel ->
  ?printer:(out_channel -> 'a -> unit) ->
  ('a, 'b) t ->
  unit

Sourceval unary : ?name:string -> ('a -> 'b) -> ('a, 'c) t -> 'b unsetable_t

val binary : 
  ?name:string ->
  ('a -> 'b -> 'c) ->
  ('a, 'd) t ->
  ('b, 'e) t ->
  'c unsetable_t

val ternary : 
  ?name:string ->
  ('a -> 'b -> 'c -> 'd) ->
  ('a, 'e) t ->
  ('b, 'f) t ->
  ('c, 'g) t ->
  'd unsetable_t

Sourceval sum : (int, 'a) t array -> int unsetable_t

Sourceval prod : (int, 'a) t array -> int unsetable_t

Sourcemodule Array : sig ... end

Sourcemodule type FD = sig ... end

Sourcemodule Fd : FD with type fd = Var.Fd.t and type elt = Var.Fd.elt

Sourcemodule SetFd : FD with type fd = Var.SetFd.t and type elt = Var.SetFd.elt