Module Checkct.KindSource

Sourcetype t =
  1. | Control_flow
  2. | Memory_access
  3. | Multiplication
  4. | Dividend
  5. | Divisor
Sourceval to_string : t -> string
Sourceval of_string : string -> t
Sourceval pp : Format.formatter -> t -> unit