package p4spectec

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

Module Prose.KindsSource

Sourcemodule Kind : sig ... end
module TypHints : sig ... end
module RelHints : sig ... end
module FuncHints : sig ... end
Sourcetype t = {
  1. typs : TypHints.t;
  2. funcs : FuncHints.t;
  3. rels : RelHints.t;
}
Sourceval empty : t
Sourceval add_typ : Domain.Lib.CaseId.t -> Kind.t -> t -> t
Sourceval add_func : Domain.Lib.FId.t -> Kind.t -> t -> t
Sourceval add_rel : Domain.Lib.RId.t -> Kind.t -> t -> t
Sourceval find_typ : Domain.Lib.CaseId.t -> t -> Kind.t option
Sourceval find_func : Domain.Lib.FId.t -> t -> Kind.t option
Sourceval find_rel : Domain.Lib.RId.t -> t -> Kind.t option