  module Core 

    Core typechecking and evaluation functions 


   Core typechecking and evaluation functions
*)

open Syntax
open Support.Error

val eval : context -> term -> term 
val typeof : context -> term -> ty
val subtype : ty -> ty -> bool

  module Core 

    Core typechecking and evaluation functions 


   Core typechecking and evaluation functions
*)

open Syntax
open Support.Error

val eval : context -> term -> term 
val typeof : context -> term -> ty
val subtype : ty -> ty -> bool
