electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
val bounds_exp_aux : (Libelectrod.Elo.exp * Libelectrod__Elo_to_ltl1.stack) -> Libelectrod.Exp_bounds.bounds
method is_const : Libelectrod.Name.t -> bool
method must_may_sup : Libelectrod__Elo_to_ltl1.stack -> Libelectrod.Elo.exp -> Libelectrod.Exp_bounds.bounds
method relation_arity : Libelectrod.Name.t -> int