Module `S.Lit`

val from_hooks : unit -> Logtk.Literal.Conv.hook_from list

val add_from_hook : Logtk.Literal.Conv.hook_from -> unit

val to_hooks : unit -> Logtk.Literal.Conv.hook_to list

val add_to_hook : Logtk.Literal.Conv.hook_to -> unit

val of_form : Logtk.Term.t Logtk.SLiteral.t -> Logtk.Literal.t

raises Invalid_argument: if the formula is not atomic

val to_form : Logtk.Literal.t -> Logtk.Term.t Logtk.SLiteral.t