package dolmen
package dolmen
-
dolmen
-
dolmen_intf
-
-
dolmen_line
-
dolmen_smtlib2
-
dolmen_smtlib2_v6
-
dolmen_std
-
-
dolmen_tptp
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Real operations
Satisfy the required interface for the typing of smtlib's reals
Satisfy the common interface for TPTP's arithmetic over reals
include Dolmen_intf.Term.Tptp_Tff_Arith_Common with type t := t
Satisfy the real part of the SMTLIB's Float requirements
include Dolmen_intf.Term.Smtlib_Float_Real with type t := t
val mk : string -> t
Bitvector litteral.
Satisfy the common interface for Alt-Ergo's arithmetic types.
include Dolmen_intf.Term.Ae_Arith_Common with type t := t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>