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