Module Synint

Internal Syntax

module LF : sig ... end
module Comp : sig ... end
module Sgn : sig ... end