Up – Package index » electrod » Library electrod.libelectrod » Libelectrod » Elo_to_ltl_intf

Module `Libelectrod.Elo_to_ltl_intf`Source

Abstract type for a converter from Elo models to (abstract) LTL formulas.

Sourcemodule type S = sig ... end