Packages

shot_ds

1.0.2
1.2.6 1.2.5 1.2.4 1.2.3 1.2.2 1.2.1 1.2.0 1.1.8 1.1.7 1.1.6 1.1.5 1.1.4 1.1.3 1.1.2 1.1.1 1.1.0 1.0.5 1.0.4 1.0.3 1.0.2 1.0.1 1.0.0 0.5.0 0.4.2 0.4.1 0.4.0 0.3.3 0.3.2 0.3.1 0.3.0 0.2.3 0.2.2 0.2.1 0.2.0 0.1.2 0.1.1 0.1.0

Data structures for various HOL objects and TH0/1 parser.

HexDocs

Current section

Files

Jump to
Readme
37 Versions
1 Dependency
Dependants
Files
Activity
shot_ds lib shot_ds term_pool_owner.ex
Raw

lib/shot_ds/term_pool_owner.ex 

defmodule ShotDs.TermPoolOwner do

  @moduledoc false

  use GenServer



  def start_link(_),

    do: GenServer.start_link(__MODULE__, %{}, name: __MODULE__)



  def init(_) do

    :ets.new(:term_pool, [

      :set,

      :public,

      :named_table,

      read_concurrency: true,

      write_concurrency: true

    ])



    {:ok, %{}}

  end

end