Str (docs.other.smtml.Smtml.Eval.Str)

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