{"size": 842, "ext": "scrbl", "max_stars_repo_path": "doc/guide/scribble/datatypes/builtin-datatypes.scrbl", "max_stars_repo_name": "edbutler/rosette", "max_stars_repo_stars_event_min_datetime": "2020-11-14T20:12:54.000Z", "max_stars_repo_stars_event_max_datetime": "2020-11-14T20:12:54.000Z", "max_issues_repo_path": "doc/guide/scribble/datatypes/builtin-datatypes.scrbl", "max_issues_repo_name": "edbutler/rosette", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "doc/guide/scribble/datatypes/builtin-datatypes.scrbl", "max_forks_repo_name": "edbutler/rosette", "max_forks_repo_forks_event_min_datetime": null, "max_forks_repo_forks_event_max_datetime": null}
{"max_stars_count": 1, "max_issues_count": null, "max_forks_count": null, "avg_line_length": 27.1612903226, "max_line_length": 85, "alphanum_fraction": 0.7600950119}
#lang scribble/manual




@title[#:tag "ch:built-in-datatypes" #:style 'toc]{Built-In Datatypes}

The @seclink["ch:syntactic-forms"]{previous chapter} describes the  
Racket syntax forms that are @tech[#:key "lifted constructs"]{lifted} by Rosette to
work on symbolic values. 
This chapter describes the lifted datatypes and their corresponding operations. Most 
lifted operations retain their Racket semantics, with the exception of  
numeric functions (Section @seclink["sec:primitives"]{4.1}) and 
equality predicates (Section @seclink["sec:equality"]{4.2}).

@(table-of-contents)
@include-section["primitives.scrbl"]
@include-section["equality.scrbl"]
@include-section["pairs.scrbl"]
@include-section["vectors.scrbl"]
@include-section["boxes.scrbl"]
@include-section["procedures.scrbl"]
@include-section["solvers+solutions.scrbl"]







