Module `Logical.Type`

type variable_name = string

module T : sig ... end

include T

type t = | Int of int | Float of float | Str of string | Bool of bool | Var of variable_name

val compare : t -> t -> int
val sexp_of_t : t -> Base.Sexp.t
val to_string : t -> string

include sig ... end

type comparator_witness = Base__Comparator.Make(T).comparator_witness

val comparator : (T.t, comparator_witness) Base__Comparator.comparator

type state = (variable_name, t, Base.String.comparator_witness) Base.Map.t
type goal = state -> state option Base.Sequence.t