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