package p4spectec

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

Module Structure.Ctx

val error_undef : Util.Source.region -> string -> string -> 'a
val error_dup : Util.Source.region -> string -> string -> 'a
val empty : t
val init : unit -> t
val find_typdef_opt : t -> Domain.Lib.TId.t -> Runtime.Type.Typdef.t option
val find_typdef : t -> Domain.Lib.TId.t -> Runtime.Type.Typdef.t
val bound_typdef : t -> Domain.Lib.TId.t -> bool
val find_metavar_opt : t -> Domain.Lib.TId.t -> Runtime.Type.Typ.t option
val find_metavar : t -> Domain.Lib.TId.t -> Runtime.Type.Typ.t
val bound_metavar : t -> Domain.Lib.TId.t -> bool
val add_metavar : t -> Domain.Lib.TId.t -> Runtime.Type.Typ.t -> t
val add_typdef : t -> Domain.Lib.TId.t -> Runtime.Type.Typdef.t -> t
val load_def : t -> Lang.Al.def -> t
val load_spec : t -> Lang.Al.spec -> t