package gospel

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Hard-coded identifiers

gospel
- Gospel
  - Coercion
  - Dterm
  - Gospellib
  - Identifier
    
    Ident
    
    Preid
  - Opprintast
    
    Option
  - Parser_frontend
  - Patmat
  - Pps
  - Symbols
    
    LS
    
    Mls
    
    Mvs
    
    Sls
    
    Svs
    
    Vs
  - Tast
  - Tast_helper
  - Tast_printer
  - Tmodule
    
    Mid
    
    Mstr
  - Tterm
  - Tterm_helper
  - Tterm_printer
  - Ttypes
    
    Hts
    
    Htv
    
    Mts
    
    Mtv
    
    Mxs
    
    Ts
    
    Tvar
    
    Xs
  - Typing
  - Uast
  - Uattr2spec
  - Ulexer
  - Uparser
  - Upretty_printer
  - Utils
    
    Fmt
  - Warnings

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Preid : sig ... end

module Ident : sig ... end

Hard-coded identifiers

val eq : Ident.t

val neq : Ident.t

val none : Ident.t

val some : Ident.t

val nil : Ident.t

val cons : Ident.t

val prefix : string -> string

val infix : string -> string

val mixfix : string -> string

val is_prefix : string -> bool

val is_infix : string -> bool

val is_mixfix : string -> bool