Module `Synprs.Signature`

The intermediate representation of Beluga signatures to delay the handling of data-dependent aspects of the grammar.

The intermediate representation of Beluga signatures to delay the handling of data-dependent aspects of the grammar.

module Pragma : sig ... end

module Global_pragma : sig ... end

module Totality : sig ... end

module Declaration : sig ... end

module Entry : sig ... end

type signature_file = {

location : Beluga_syntax.Syncom.Location.t;
global_pragmas : Global_pragma.t Support.List.t;
entries : Entry.t Support.List.t;

}

type t = signature_file Support.List1.t

Parsed Beluga project