module Spec: SPEC with type t = string with type nt = string with type prod = unit
SPEC
with type t = string
with type nt = string
with type prod = unit