symbolType.mli 327 Bytes
Newer Older
1 2 3 4 5 6 7
(* The symbol GADT is the union of the terminal and nonterminal GADTs. *)

val tsymbolgadt: IL.typ -> IL.typ

(* The definition of the symbol GADT. This definition can be produced only if
   we are successfully able to construct the nonterminal GADT first. *)

8
val symbolgadtdef: UnparameterizedSyntax.grammar -> IL.interface
9