libcspm-0.2.1: A library providing a parser, type checker and evaluator for CSPM.

CSPM.DataStructures.Literals

Documentation

data Literal Source

Constructors

Int Int

An integer. This is finite size, as per the FDR spec.

Bool Bool

A boolean (TODO: remove).

Instances