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