package electrod

  1. Overview
  2. Docs
package electrod
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Libelectrod.NameSource

Names (of relations for instance).

Sourcetype t
Sourceval name : string -> t

Constructors

Sourceval dummy : unit -> t

Returns a dummy name. This function is only here for some computations that raise new relations and hence need a temporary, dummy name.

Sourceval of_raw_ident : Raw_ident.t -> t
Sourceval univ : t

Reserved name for 'univ' and 'iden'.

Sourceval iden : t
Sourceval equal : t -> t -> bool

Tells whether two names are the same

Sourceval compare : t -> t -> int
Sourceval hash : t -> int
Sourceval style : Fmt.style
include Intf.Print.S with type t := t
Sourceval pp : t Fmtc.t
Sourceval to_string : t -> string
Sourcemodule Map : CCMap.S with type key = t
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