1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16

open Mo_types

type t = {
  typ : Type.typ;
  eff : Type.eff;
  const : bool;
  check_run : int;
}

let def : t = {
  typ = Type.Pre;
  eff = Type.Triv;
  const = false;
  check_run = 0;
}