Flambda2_types.Rewriter
module Var : sig ... end
type 'a pattern
module Pattern : sig ... end
type 'a expr
module Expr : sig ... end
module Rule : sig ... end
module Make (X : sig ... end) : sig ... end