val registerPost : (unit -> unit) -> unit
val post : unit -> unit
+ (* ...and before type-checking *)
+ val registerPreTycheck : (unit -> unit) -> unit
+ val preTycheck : unit -> unit
+
val badArgs : string * Ast.exp list -> 'a
val badArg : string * string * Ast.exp -> 'a