Module IntermediateTypes

module IntermediateTypes: sig .. end

module NonTerminal: sig .. end

module TransitionMap: BatMap.Make(NonTerminal)

type signature =

`\|`	`SortSignature of Ast.sort`
`\|`	`SymbolSignature of Ast.symbol`

type funcIngredient =

`\|`	`FuncIngredient of (Ast.symbol * Ast.sorted_var list * Ast.sort * Ast.term * Ast.term list TransitionMap.t)`

type verifyResult =

`\|`	`VerificationSuccess of string`
`\|`	`VerificationFailure`