smtml
Eval.Str
smtml.prelude
val unop : Ty.Unop.t -> Value.t -> Value.t
val binop : Ty.Binop.t -> Value.t -> Value.t -> Value.t
val triop : Ty.Triop.t -> Value.t -> Value.t -> Value.t -> Value.t
val relop : Ty.Relop.t -> Value.t -> Value.t -> bool
val cvtop : Ty.Cvtop.t -> Value.t -> Value.t
val naryop : Ty.Naryop.t -> Value.t list -> Value.t