module Base : sig ... end
type t
= Base.t Core.Blang.t
include sig ... end
val t_of_sexp : Sexplib.Sexp.t ‑> t
val sexp_of_t : t ‑> Sexplib.Sexp.t
val matches : t ‑> Types.Envelope.t ‑> bool
val example : t