Module Ic.BodyLiteral

module BodyLiteral: sig .. end

type literal 

val get_sign : literal -> Ic.sign

val get_predicate : literal -> Predicate.predicate

val get_atom : literal -> Term.term

val get_reader : literal -> Access.Reader.reader

val get_foreign_context : literal -> Term.context

val get_is_delta : literal -> bool

val get_builtin : literal -> Term.p

val make_literal : Predicate.predicate_table ->
       Term.symbol_table -> Term.term -> literal

val print_optim_info : literal -> unit