typer.mli 240 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
exception ParsingPattern of string

val compile_regexp : Ast.regexp -> Ast.ppat -> Ast.ppat

val typ : Ast.ppat -> Typed.ttyp
val pat : Ast.ppat -> Typed.tpat

val expr: Ast.pexpr -> Typed.texpr
val compute_type: Typed.texpr -> Types.descr