File: utils.rkt

package info (click to toggle)
racket 7.2%2Bdfsg1-2
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 125,432 kB
  • sloc: ansic: 258,980; pascal: 59,975; sh: 33,650; asm: 13,558; lisp: 7,124; makefile: 3,329; cpp: 2,889; exp: 499; python: 274; xml: 11
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)