Module `Corelang__.Partition`

val classify_proc : Parse.proc -> (Parse.arg, string * (Parse.proc * Parse.proc * Parse.proc)) Stdlib.Either.t list: classify atoms and rules

val partition_proc : Parse.proc -> Parse.arg list * (string * (Parse.proc * Parse.proc * Parse.proc)) list: partition atoms and rules