Source file symbol_intf.ml

1
2
3
4
5
6
7
8
9
10
11
open! Core
open! Import

module type Symbol = sig
  include Value.Subtype
  include Equal.S with type t := t
  include Value.Funcall with type t := t

  val intern : string -> t
  val name : t -> string
end