Module `Imandra_surface.Builtin`

Builtin Types and Functions

type attr_name = string
type 'a printer = Stdlib.Format.formatter -> 'a -> unit

val find_tip_name : Uid.t -> string option
val has_tip_name : Uid.t -> bool

module Fun : sig ... end: Builtin functions

module Ty : sig ... end: Builtin sorts

module Special_tag : sig ... end: Map from special tag --> Uid

module Snapshot : sig ... end