Module Of_simple (S : Simple) : Matcher

Three basic functors to generate the Matcher from a simple extension specification

S : Simple

A module that converts a type into another expression that can be used in camlp4 extensions needs to have the following functions.

val conversion : Location.t -> field_name:string -> id:Longident.t Location.loc -> Parsetree.expression

val conversion_of_type : Location.t -> field_name:string -> field_ty:Parsetree.core_type -> Parsetree.expression