Expand description

This module implements a checker for verifying that

  • a constant’s type only refers to primitive types
  • a constant’s data serializes correctly for that type

Functions