links

The Links Programming Language
IN THIS PACKAGE
type t =
| Any
| Nil
| Cons of with_pos * with_pos
| List of with_pos list
| Variant of CommonTypes.Name.t * with_pos option
| Effect of CommonTypes.Name.t * with_pos list * with_pos
| Negative of CommonTypes.Name.t list
| Record of (CommonTypes.Name.t * with_pos) list * with_pos option
| Tuple of with_pos list
| Constant of CommonTypes.Constant.t
| Variable of Binder.with_pos
| As of Binder.with_pos * with_pos
| HasType of with_pos * datatype'
and with_pos = t SourceCode.WithPos.t
val show_with_pos : with_pos -> Ppx_deriving_runtime.string