sig
  type t
  val extract :
    string Lilis.stream ->
    (string * 'b) Lilis.rule list -> 'c Lilis.rule list -> Lilis.SymbEnv.t
  val add_rule :
    Lilis.SymbEnv.t -> (string * 'a) Lilis.rule -> Lilis.SymbEnv.t
  val add_post_rule : Lilis.SymbEnv.t -> 'a Lilis.rule -> Lilis.SymbEnv.t
  val add_axiom : Lilis.SymbEnv.t -> string Lilis.stream -> Lilis.SymbEnv.t
end