package gospel

  1. Overview
  2. Docs

Module Gospel.IdentifierSource

Sourcemodule Preid : sig ... end
Sourcemodule Ident : sig ... end

Hard-coded identifiers

Sourceval eq : Ident.t
Sourceval neq : Ident.t
Sourceval none : Ident.t
Sourceval some : Ident.t
Sourceval nil : Ident.t
Sourceval cons : Ident.t
Sourceval prefix : string -> string
Sourceval infix : string -> string
Sourceval mixfix : string -> string
Sourceval is_prefix : string -> bool
Sourceval is_infix : string -> bool
Sourceval is_mixfix : string -> bool
OCaml

Innovation. Community. Security.