package electrod

  1. Overview
  2. Docs
method must_may_sup : stack -> G.exp -> Libelectrod.Exp_bounds.bounds
method relation_arity : Libelectrod.Name.t -> int
method is_const : Libelectrod.Name.t -> bool