package electrod
Formal analysis for the Electrod formal pivot language
Install
dune-project
Dependency
Authors
Maintainers
Sources
electrod-0.8.0.tbz
sha256=dd47a6d755dc80a9a75fa21bda7a6507316ca2a33f7201d25ee9ba01d902a6a2
sha512=abc8bb1194df32bfe3c00f499dd989868c9ad208c8c7401085b9c18e87890eae1c087dbbb9bf128f95f4e759de27e1d7a6d6b2f7a5e6a9b000b469d72c77b87a
doc/electrod.libelectrod/Libelectrod/Elo_to_ltl1/Make/class-environment/index.html
Class Make.environmentSource
val bounds_exp_aux : (Libelectrod.Elo.exp * stack) ->
Libelectrod.Exp_bounds.boundsmethod must_may_sup : stack -> G.exp -> Libelectrod.Exp_bounds.boundsmethod relation_arity : Libelectrod.Name.t -> intmethod make_atom : Libelectrod.Name.t -> Libelectrod.Tuple.t -> Ltl.tmethod is_const : Libelectrod.Name.t -> bool