Type

(all (A) (-> A (maybe-t A)))

Description

Constructor of maybe-t, representing a present value.

Examples

(let ((m (just 42)))
  (is-just m))       ;; => true