package dolmen
TPTP language input
module type Id = sig ... end
module type Term = sig ... end
module type Statement = sig ... end
Implementation requirement for the TPTP format.
module Make
(L : Dolmen_intf.Location.S)
(I : Id)
(T : Term with type location := L.t and type id := I.t)
(S :
Statement with type location := L.t and type id := I.t and type term := T.t) :
Dolmen_intf.Language.S with type statement = S.t and type file := L.file
Functor to generate a parser for the TPTP format.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>