electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
method must_may_sup : environment -> stack -> G.exp -> Libelectrod.Exp_bounds.bounds
method relation_arity : 'a -> Libelectrod.Name.t -> int
method make_atom : 'a -> Libelectrod.Name.t -> Libelectrod.Tuple.t -> Ltl.t
method is_const : 'a -> Libelectrod.Name.t -> bool