sig
  type hook_from =
      Literal.term Libzipperposition.SLiteral.t -> Literal.t option
  type hook_to =
      Literal.t -> Literal.term Libzipperposition.SLiteral.t option
  val arith_hook_from : Literal.Conv.hook_from
  val of_form :
    ?hooks:Literal.Conv.hook_from list ->
    Literal.term Libzipperposition.SLiteral.t -> Literal.t
  val to_form :
    ?hooks:Literal.Conv.hook_to list ->
    Literal.t -> Literal.term Libzipperposition.SLiteral.t
end