1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
type primitive_type = Unit | Bool

module Make () = Typlib.Types.Make (struct
  type nonrec primitive_type = primitive_type

  let primitive_card = function Unit -> 1 | Bool -> 2

  let fprintf_primitive_type fmt = function
    | Bool ->
        Format.fprintf fmt "bool"
    | Unit ->
        Format.fprintf fmt "unit"
end)