object

# `rule_expansion(A)`

Expands rules of the form p <- f & g to the more manageable rule(p, [f,g]).

Author: Victor Lagerkvist
Version: 1.0
Date: 2010/6/13
Compilation flags:
`static, context_switching_calls`
Implements:
`public` expanding
Imports:
`public` flatting
Extends:
`public` debug_expansion(A)

## Public interface

(see related entities)

## Protected interface

(see related entities)

## Private predicates

(see related entities)

## Operators

(none)

## Remarks

(none)