Module FunctionIngredients

module FunctionIngredients: sig .. end

exception GTVariableError

exception SynthFunInputError

val bftermToTerm : Ast.bf_term -> Ast.term

val addSortedVar : Ast.sorted_var ->
       Ast.term list IntermediateTypes.TransitionMap.t ->
       Ast.term list IntermediateTypes.TransitionMap.t

val addSortedVars : Ast.sorted_var list ->
       Ast.term list IntermediateTypes.TransitionMap.t ->
       Ast.term list IntermediateTypes.TransitionMap.t

val addGterm : IntermediateTypes.TransitionMap.key ->
       Ast.gterm ->
       Ast.term list IntermediateTypes.TransitionMap.t ->
       Ast.term list IntermediateTypes.TransitionMap.t

val addGterms : IntermediateTypes.TransitionMap.key ->
       Ast.gterm list ->
       Ast.term list IntermediateTypes.TransitionMap.t ->
       Ast.term list IntermediateTypes.TransitionMap.t

val addGrammars : (Ast.sorted_var * Ast.grouped_rule_list) list ->
       Ast.term list IntermediateTypes.TransitionMap.t ->
       Ast.term list IntermediateTypes.TransitionMap.t

val getFunctionIngredient : Ast.cmd -> IntermediateTypes.funcIngredient

val getFunctionIngredientList : Ast.cmd list -> IntermediateTypes.funcIngredient list