Module Trans

module Trans: sig .. end

exception Trans_error of Ast.l * string

type 'a macro = Macro_expander.macro_context -> 'a -> 'a option 

type pat_macro = Macro_expander.pat_position -> Typed_ast.pat macro 

module Macros: 
functor (E : sig
val env : Typed_ast.env
end) -> sig .. end