Module Vlist

module Vlist: sig .. end
VList Theory Builtins

Empty API, the module only registers builtins.


val check_tau : Lang.tau -> bool
val check_term : Lang.F.term -> bool
class type engine = object .. end
val f_concat : Lang.Fun.t
val pp_concat : #engine -> Format.formatter -> Lang.F.term list -> unit
val configure : Model.tuning