package acgtk

  1. Overview
  2. Docs
package acgtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
type associativity =
  1. | Left
  2. | Right
  3. | NonAss
type fixity =
  1. | Prefix
  2. | Infix of int * associativity
type term =
  1. | Var of string
  2. | Cst of string
  3. | App of term * term
  4. | Abs of string * term
type token =
  1. | Term of term
  2. | Op of string * fixity
val next : token list -> token option * token list
val parse_sequence : token list -> token option -> token list -> term
val to_string : term -> string
module SMap : Map.S with type key = string
type sig_info = fixity SMap.t
val test_sig : sig_info
val get_fixity : string -> sig_info -> fixity
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