contrib/extraction/mlutil.mli


1
2
3
4
5
6
7
8
9
10
11


open Miniml

val anonymous : Names.identifier

val occurs : int -> ml_ast -> bool

val ml_lift : int -> ml_ast -> ml_ast

val uncurrify_ast : ml_ast -> ml_ast
val uncurrify_decl : ml_decl -> ml_decl