package idd
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Source file boolean.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14
module type Algebra = sig val declare_var : string -> [`Ok | `Duplicate] type t val fls : t val tru : t val of_bool : bool -> t val var : string -> t val ( && ) : t -> t -> t val ( || ) : t -> t -> t val ( ! ) : t -> t val ( == ) : t -> t -> bool end