Module Types.Type_parse_tree
type unop =
| Not
| UMinus
type binop =
| Plus
| Minus
| Mult
| Div
| Mod
| And
| Or
| Xor
| LShift
| RShift
| Eq
| Diff
| Ge
| Gt
| Le
| Lt
type ptr_annot =
| Maybe_null
| Non_null
and constr =
| Lambda of string list * typ
| LambdaAlias of string