cocl_helper.dcl 349 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
definition module cocl_helper

from Clean.Doc import
	:: FunctionDoc,
	:: InstanceDoc,
	:: TypeDoc
from Clean.Parse.Comments import
	:: CollectedComments
from syntax import
	:: ParsedDefinition

get_checkable_definitions :: !CollectedComments ![ParsedDefinition] ->
	( ![(String, FunctionDoc)]
	, ![(String, InstanceDoc)]
	, ![(String, TypeDoc)]
	)