Core.Build_semantic_equations
type size = int
module Case : sig ... end
module type Lang = sig ... end
module type Conv = sig ... end
module Make (L : Lang) (Conv : Conv with module L = L) : sig ... end