{"size": 682, "ext": "scrbl", "max_stars_repo_path": "docs/written/trove/pick.scrbl", "max_stars_repo_name": "jpolitz/pyret-lang", "max_stars_repo_stars_event_min_datetime": null, "max_stars_repo_stars_event_max_datetime": null, "max_issues_repo_path": "docs/written/trove/pick.scrbl", "max_issues_repo_name": "jpolitz/pyret-lang", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "docs/written/trove/pick.scrbl", "max_forks_repo_name": "jpolitz/pyret-lang", "max_forks_repo_forks_event_min_datetime": null, "max_forks_repo_forks_event_max_datetime": null}
{"max_stars_count": null, "max_issues_count": null, "max_forks_count": null, "avg_line_length": 28.4166666667, "max_line_length": 133, "alphanum_fraction": 0.5894428152}
#lang scribble/base
@(require "../../scribble-api.rkt" "../abbrevs.rkt")

@(define s-pick-args (list `("elt" ("type" "normal") ("contract" ,(a-id "a"))) `("rest" ("type" "normal") ("contract" ,(a-id "b")))))

@docmodule["pick"]{
  @; Ignored type testers
  @section{The Pick Datatype}

  @data-spec2["Pick" (list "a" "b") (list
    @singleton-spec2["Pick" "pick-none"]
    @constructor-spec["Pick" "pick-some" s-pick-args]
  )]

  @nested[#:style 'inset]{
  @singleton-doc["Pick" "pick-none" (P-of "a" "b")]
  @constructor-doc["Pick" "pick-some" s-pick-args (P-of "a" "b")]

  @function["is-pick-none" #:alt-docstrings ""]
  @function["is-pick-some" #:alt-docstrings ""]
  }
  
  }
