package smtml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type name =
  1. | Simple of string
  2. | Indexed of {
    1. basename : string;
    2. indices : string list;
    }
type namespace =
  1. | Attr
  2. | Sort
  3. | Term
  4. | Var
type t = {
  1. ty : Ty.t;
  2. name : name;
  3. namespace : namespace;
}
val attr : namespace
val sort : namespace
val term : namespace
val var : namespace
val (@:) : string -> Ty.t -> t
val name : t -> name
val namespace : t -> namespace
val compare : t -> t -> int
val equal : t -> t -> Smtml_prelude.Bool.t
val make : Ty.t -> string -> t
val make3 : Ty.t -> name -> namespace -> t
val mk : namespace -> string -> t
val indexed : namespace -> string -> string list -> t
val pp_namespace : namespace Smtml_prelude.Fmt.t
val to_string : t -> string
val to_json : t -> Yojson.Basic.t
val type_of : t -> Ty.t
OCaml

Innovation. Community. Security.