package dolmen_type

  1. Overview
  2. Docs

Module Core.ZfSource

Zf builtins

Sourcemodule Tff (Type : Tff_intf.S) (Tag : Dolmen.Intf.Tag.Zf_Base with type 'a t = 'a Type.Tag.t) : sig ... end

Builtins for smtlib's core theory