Module FuncDecl.Parameter

type parameter =
  1. | P_Int of int
  2. | P_Dbl of float
  3. | P_Rat of string
  4. | P_Sym of Symbol.symbol
  5. | P_Srt of Sort.sort
  6. | P_Ast of AST.ast
  7. | P_Fdl of func_decl
  8. | P_Internal of string
  9. | P_ZStr of string
val get_int : parameter -> int
val get_float : parameter -> float
val get_symbol : parameter -> Symbol.symbol
val get_sort : parameter -> Sort.sort
val get_ast : parameter -> AST.ast
val get_func_decl : parameter -> func_decl
val get_rational : parameter -> string