original_docstring: 
      Creates a concrete floating-point value.
  
      :param value:   The value of the floating point.
      :param sort:    The sort of the floating point.
      :return:        An FP AST.
      
docstring: Creates a concrete floating-point value.
docstring_tokens: Creates a concrete floating - point value .
code: def FPV(value, sort):
      """
      Creates a concrete floating-point value.
  
      :param value:   The value of the floating point.
      :param sort:    The sort of the floating point.
      :return:        An FP AST.
      """
      return FP('FPV', (value, sort), length=sort.length)
code_tokens: def FPV ( value , sort ) : return FP ( 'FPV' , ( value , sort ) , length = sort . length )
short_docstring: Creates a concrete floating-point value.
short_docstring_tokens: Creates a concrete floating - point value .
comment: """
      Creates a concrete floating-point value.
  
      :param value:   The value of the floating point.
      :param sort:    The sort of the floating point.
      :return:        An FP AST.
      """