sig
  val of_forms :
    ?hooks:Literal.Conv.hook_from list ->
    Literals.term Libzipperposition.SLiteral.t list -> Literals.t
  val to_forms :
    ?hooks:Literal.Conv.hook_to list ->
    Literals.t -> Literals.term Libzipperposition.SLiteral.t list
end