diff --git a/racket/typed/prim.rkt b/racket/typed/prim.rkt index 4342be6..8c45ccc 100644 --- a/racket/typed/prim.rkt +++ b/racket/typed/prim.rkt @@ -31,6 +31,7 @@ (define-primop max (→fn Int Int Int)) (define-primop min (→fn Int Int Int)) (define-primop zero? (→fn Int Bool)) +(define-primop positive? (→fn Int Bool)) (define-primop bytes->string/utf-8 (→ ByteString (Computation (Value String) (Endpoints) (Roles) (Spawns)))) (define-primop string->bytes/utf-8 (→ String (Computation (Value ByteString) (Endpoints) (Roles) (Spawns))))