File: utils.rkt

package info (click to toggle)
racket 7.9%2Bdfsg1-2
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 178,684 kB
  • sloc: ansic: 282,112; lisp: 234,887; pascal: 70,954; sh: 27,112; asm: 16,268; makefile: 4,613; cpp: 2,715; ada: 1,681; javascript: 1,244; cs: 879; exp: 499; csh: 422; python: 274; xml: 106; perl: 104
file content (13 lines) | stat: -rw-r--r-- 347 bytes parent folder | download | duplicates (11) 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
#lang racket/base

(require typed/untyped-utils
         typed/racket/base
         (except-in "typed-utils.rkt"
                    check-array-shape))

(require/untyped-contract
 "typed-utils.rkt"
 [check-array-shape  ((Vectorof Integer) (-> Nothing) -> (Vectorof Index))])

(provide (all-from-out "typed-utils.rkt")
         check-array-shape)