Lisp.Type
Lisp Type System.
Primus Lisp is equipped with the gradual type system that features type inference.
a type specifier for function parameters
Don't use this directly, this type is uses in the Spec
eDSL. Use the Spec module directly.
module Spec : sig ... end
Type Specifier DSL.
val error : error observation
error p
occurs when the typechecker detects an error p
.
val check : Bap.Std.Var.t Bap.Std.seq -> program -> error list
val pp_error : Stdlib.Format.formatter -> error -> unit
pp_error ppf err
prints a description of the type error err
into the formatter ppf