package orgeat

You can search for identifiers within the package.

in-package search v0.2.0

orgeat
- Orgeat
  - Boltzmann
    
    Sampling
    
    Boltzmann
    
    P
    
    Infix
    
    S
    
    S_applied
    
    Combi
    
    Boltzmann
    
    P
    
    Infix
    
    S
    
    S_applied
    
    K
    
    Solver
  - Combi
    
    Make
    
    Boltzmann
    
    P
    
    Infix
    
    S
    
    S_applied
    
    K
  - From_encoding
    
    Combi
    
    Boltzmann
    
    P
    
    Infix
    
    S
    
    S_applied
    
    Sampling
    
    Boltzmann
    
    P
    
    Infix
    
    S
    
    S_applied
    
    Combi
    
    Boltzmann
    
    P
    
    Infix
    
    S
    
    S_applied
    
    Solver
  - Literal
    
    Class
    
    Variable
  - Misc
    
    LClassMap
    
    LVarMap
    
    Poly_Class
    
    Make_Ring
    
    Infix
    
    K
    
    Make_Semiring
    
    Infix
    
    K
    
    Poly_Var
    
    Make_Ring
    
    Infix
    
    K
    
    Make_Semiring
    
    Infix
    
    K
    
    StringMap
    
    StringMatrix
  - Sampler
    
    Boltzmann
    
    K
    
    P
    
    Infix
    
    S
    
    S_applied
  - Scalar
    
    F
    
    Ordered_S
    
    Q
    
    Ring_ext
    
    S
  - Solver
    
    Make
    
    K
  - Species
    
    Make
    
    K
    
    P_z
    
    S_applied
    
    S_base
    
    Make_R
    
    K
    
    Make_Sc
    
    K

Legend:
Library
Module
Module type
Parameter
Class
Class type

include Smol.Literal.S

type t

The type of literals, which are abstract representation of values.

val to_string : t -> string

Returns the string representation of a literal

val compare : t -> t -> int

A total ordering on the literals, which is the lexicographical ordering on their names

val equal : t -> t -> bool

Equality on the literals. Two literals are equal iff their name is the same.

val z : t

val of_string : string -> t