module stratego/asfix/signature signature constructors parsetree : Tree * NatCon -> ParseTree amb : List(Tree) -> Tree lit : String -> Tree cilit : String -> Tree char : NatCon -> Tree appl : Production * Args -> Tree list : Symbol -> Production prod : List(Symbol) * Symbol * Attributes -> Production attrs : List(Attr) -> Attributes no-attrs : Attributes avoid : Attr prefer : Attr reject : Attr bracket : Attr term : ATerm -> Attr 'id : String -> Attr assoc : Associativity -> Attr cons : String -> ATerm non-assoc : Associativity assoc : Associativity right : Associativity left : Associativity range : NatCon * NatCon -> CharRange character : NatCon -> CharRange parametrized-sort : String * List(Symbol) -> Symbol strategy : Symbol * Symbol -> Symbol char-class : List(CharRange) -> Symbol layout : Symbol varsym : Symbol -> Symbol func : Symbols * Symbol -> Symbol iter-star-sep : Symbol * Symbol -> Symbol iter-sep : Symbol * Symbol -> Symbol iter-star : Symbol -> Symbol iter : Symbol -> Symbol sort : String -> Symbol tuple : Symbol * Symbols -> Symbol seq : Symbol * Symbol -> Symbol alt : Symbol * Symbol -> Symbol opt : Symbol -> Symbol lex : Symbol -> Symbol cf : Symbol -> Symbol lit : String -> Symbol empty : Symbol