Module Candidates

module Candidates: sig .. end

val combinationTwoList : 'a list -> 'a list list -> 'a list list

val combIdenTermList : Ast.identifier list -> Ast.term list list -> Ast.term list

val makeNextBodyList : Ast.term -> Ast.term list IntermediateTypes.TransitionMap.t -> Ast.term list

val makeNextBodyListWithOneChange : Ast.term -> Ast.term list IntermediateTypes.TransitionMap.t -> Ast.term list