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_nil : Lang.Fun.t
val f_elt : Lang.Fun.t
val f_nth : Lang.Fun.t
val f_cons : Lang.Fun.t
val f_concat : Lang.Fun.t
val f_repeat : Lang.Fun.t
val export : #engine -> Stdlib.Format.formatter -> Lang.F.term list -> unit
val pretty : #engine -> Stdlib.Format.formatter -> Lang.F.term list -> unit
val elements : #engine -> Stdlib.Format.formatter -> Lang.F.term list -> unit
val pprepeat : #engine -> Stdlib.Format.formatter -> Lang.F.term list -> unit
val shareable : Lang.F.term -> bool
val specialize_eq_list : Lang.For_export.specific_equality