Module Of_list (S : Complete_list) : Matcher

S : Complete_list

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