☰
Module declarations
Functions
?
Module
pomelo_parse
::
grammar
::
declarations
source
·
[
−
]
Expand description
Functions to parse declarations.
Functions
abstype_declaration
datatype_declaration
declaration
declaration_inner
exception_declaration
fun_declaration
infix_or_nonfix
🔒
local_declaration
🔒
open_declaration
🔒
type_declaration
val_declaration