package catt

  1. Overview
  2. Docs

Module Catt.RawSource

Sourceval string_of_ty : Raw_types.tyR -> string
Sourceval string_of_tm : Raw_types.tmR -> string
Sourceval string_of_sub : Raw_types.subR -> string
Sourceval remove_let_tm : Raw_types.tmR -> Raw_types.tmR
Sourceval remove_let_ty : Raw_types.tyR -> Raw_types.tyR
Sourceval var_in_ty : Common.Var.t -> Raw_types.tyR -> bool
Sourceval infer_susp_tm : (Common.Var.t * Raw_types.tyR) list -> Raw_types.tmR -> Raw_types.tmR
Sourceval infer_susp_ty : (Common.Var.t * Raw_types.tyR) list -> Raw_types.tyR -> Raw_types.tyR
Sourceval dim_tm : (Common.Var.t * Raw_types.tyR) list -> Raw_types.tmR -> int
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct