package logtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val variant : ?env1:env -> ?env2:env -> ?subst:subst -> LogtkFormula.FO.t -> scope -> LogtkFormula.FO.t -> scope -> res
val are_variant : LogtkFormula.FO.t -> LogtkFormula.FO.t -> bool
OCaml

Innovation. Community. Security.