Module Eval.StrSource

Sourceval relop : Ty.Relop.t -> Value.t -> Value.t -> bool
Sourceval cvtop : Ty.Cvtop.t -> Value.t -> Value.t
Sourceval naryop : Ty.Naryop.t -> Value.t list -> Value.t