sig
  val from_hooks : unit -> Literal.Conv.hook_from list
  val add_from_hook : Literal.Conv.hook_from -> unit
  val to_hooks : unit -> Literal.Conv.hook_to list
  val add_to_hook : Literal.Conv.hook_to -> unit
  val of_form :
    Libzipperposition.FOTerm.t Libzipperposition.SLiteral.t -> Literal.t
  val to_form :
    Literal.t -> Libzipperposition.FOTerm.t Libzipperposition.SLiteral.t
end