1signature parmonadsyntax = 2sig 3 4 val monad_bind : string 5 val monad_par : string 6 val ass_prec : int 7 val par_prec : int 8 9 val print_monads : term_grammar.userprinter 10 11 (* loading this module installs this function as an absyn transformer 12 under the name "parmonadsyntax.transform_absyn" 13 *) 14 val transform_absyn : term_grammar.absyn_postprocessor 15 16end 17