module C : sig ... end
module Var : sig ... end
type var
= Var.t
module Var_map : sig ... end
type subst
= C.t Var_map.t
module Comb : sig ... end
module Expr : sig ... end
module Constr : sig ... end