Env.E
include Expr_intf.S
type ty
type ty_var
type ty_cst
type ty_def
type term
type term_var
type term_cst
type formula
type 'a tag
module Tags : sig ... end
module Ty : sig ... end
module Term : sig ... end