blob: 1f1a259158dc70a54a5a108d34f375bd0c6cdac5 (
plain)
1
2
3
4
5
6
7
8
9
10
|
open Big_int
open Ast
open Type_internal
type typ = Type_internal.t
type 'a exp = 'a Ast.exp
type 'a emap = 'a Envmap.t
type envs = Type_check.envs
val rewrite_exp : nexp_map option -> tannot exp -> tannot exp
val rewrite_defs : tannot defs -> tannot defs
|
