Lines Matching defs:ml_text
17 type ml_text = string * Position.T;
64 |ML of ml_text
65 |ML_prf of ml_text
66 |ML_val of ml_text
67 |ML_command of ml_text
68 |Setup of ml_text
69 |LocalSetup of opt_target * ml_text
70 |AttributeSetup of (bstring * Position.T) * (ml_text * string)
71 |MethodSetup of (bstring * Position.T) * (ml_text * string)
72 |Declaration of (opt_target * bool) * ml_text
73 |SyntaxDeclaration of (opt_target * bool) * ml_text
75 string list) * ml_text) * xstring list
81 |Oracle of (bstring * Position.T) * ml_text