blob: 03b34e78681e1852aa36cf91567fdd8fae1fb516 (
plain)
1
2
3
4
5
6
7
8
9
10
|
open Ast
open Type_internal
type kind = Type_internal.kind
type typ = Type_internal.t
type envs = Nameset.t * kind Envmap.t * typ Envmap.t
type 'a envs_out = 'a * envs
val to_ast : Nameset.t -> kind Envmap.t -> typ Envmap.t -> Parse_ast.defs -> tannot defs
|
