Checker (mlsem-system.Mlsem

val is_type_test_unsat : 
  tau:Mlsem_types.GTy.t ->
  Mlsem_types.GTy.t ->
  Mlsem_types.Ty.t

is_type_test_unsat ~tau ty returns a type that is empty if and only if a branch tau of a typecase on an expression of type ty is unreachable

type error = {

}

exception Untypeable of error

val typeof : Mlsem_common.Env.t -> Annot.Annot.t -> Ast.t -> Mlsem_types.GTy.t

val generalize : 
  e:Ast.t ->
  Mlsem_common.Env.t ->
  Mlsem_types.GTy.t ->
  Mlsem_types.TyScheme.t

val typeof_def : 
  Mlsem_common.Env.t ->
  Annot.Annot.t ->
  Ast.t ->
  Mlsem_types.TyScheme.t