Module Unit

module Unit: sig .. end

Example of unit creation




Simple ones, each component is a parameter

Unit omicron

val make_omicron : int -> Comp.entity
val omicron_comps : Comp.component_type list
val is_omicron : Comp.entity -> bool
val is_omicron_strict : Comp.entity -> bool

Unit sigma

val make_sigma : int -> float -> Comp.entity
val sigma_comps : Comp.component_type list
val is_sigma : Comp.entity -> bool
val is_sigma_strict : Comp.entity -> bool

Unit upsilon

val make_upsilon : string -> char -> bool -> Comp.entity
val upsilon_comps : Comp.component_type list
val is_upsilon : Comp.entity -> bool
val is_upsilon_strict : Comp.entity -> bool

Unit iota

val make_iota : unit -> Comp.entity
val iota_comps : Comp.component_type list
val is_iota : Comp.entity -> bool
val is_iota_strict : Comp.entity -> bool

Unit mu

val make_mu : int -> Comp.entity
val mu_comps : Comp.component_type list
val is_mu : Comp.entity -> bool
val is_mu_strict : Comp.entity -> bool

Unit theta

val make_theta : a:int -> Comp.entity
val theta_comps : Comp.component_type list
val is_theta : Comp.entity -> bool
val is_theta_strict : Comp.entity -> bool

Unit omega

val make_omega : a:int -> b:float -> Comp.entity
val omega_comps : Comp.component_type list
val is_omega : Comp.entity -> bool
val is_omega_strict : Comp.entity -> bool

components with a given value

Unit aleph

val make_aleph : a:int -> Comp.entity
val aleph_comps : Comp.component_type list
val is_aleph : Comp.entity -> bool
val is_aleph_strict : Comp.entity -> bool

Unit yod

val make_yod : unit -> Comp.entity
val yod_comps : Comp.component_type list
val is_yod : Comp.entity -> bool
val is_yod_strict : Comp.entity -> bool

optional parameters

Unit ayin

val make_ayin : ?a:int -> unit -> Comp.entity
val ayin_comps : Comp.component_type list
val is_ayin : Comp.entity -> bool
val is_ayin_strict : Comp.entity -> bool

Unit phi

val make_phi : ?a:int -> b:float -> unit -> Comp.entity
val phi_comps : Comp.component_type list
val is_phi : Comp.entity -> bool
val is_phi_strict : Comp.entity -> bool

Unit chi

val make_chi : ?a:int -> bool -> Comp.entity
val chi_comps : Comp.component_type list
val is_chi : Comp.entity -> bool
val is_chi_strict : Comp.entity -> bool

Unit psi

val make_psi : int -> ?e:bool -> unit -> Comp.entity
val psi_comps : Comp.component_type list
val is_psi : Comp.entity -> bool
val is_psi_strict : Comp.entity -> bool