object Arrow: RuleWrapper<ExecutionContext> Fields Name Description val head: List<Term> val body: Term