Functor Kwmacro.Make

module Make: functor (S : Surface) -> functor (L : Lookup) -> sig .. end

Functor to implement a macro expander from a given surface syntax and lookup module.

Parameters:

`S`	:	`Surface`
`L`	:	`Lookup`

val expand : 'a Kwmacro.func -> 'a L.table -> 'a -> string -> string

Expand all macro calls in a string.
Returns str with all macro calls expanded

def : default macro implementation called for undefined macros

macros : lookup table defining macros

data : auxiliary data passed to each macro call

str : string in which to expand macro calls