orgeat
  1. Overview
  2. Docs
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 of_string : string -> t
val deriv : t -> t
val is_base : t -> bool