package catt

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

val string_of_ty : Raw_types.tyR -> string

val string_of_tm : Raw_types.tmR -> string

val string_of_sub : Raw_types.subR -> string

val remove_let_tm : Raw_types.tmR -> Raw_types.tmR

val remove_let_ty : Raw_types.tyR -> Raw_types.tyR

val var_in_ty : Common.Var.t -> Raw_types.tyR -> bool

val infer_susp_tm : 
  (Common.Var.t * Raw_types.tyR) list ->
  Raw_types.tmR ->
  Raw_types.tmR

val infer_susp_ty : 
  (Common.Var.t * Raw_types.tyR) list ->
  Raw_types.tyR ->
  Raw_types.tyR

val dim_tm : (Common.Var.t * Raw_types.tyR) list -> Raw_types.tmR -> int