toggle menu
moonlight
1.0-SNAPSHOT
jvm
switch theme
search in API
script
/
io.github.moonlightsuite.moonlight.script
/
TypeEnvironment
/
TypeEnvironment
Type
Environment
public
void
TypeEnvironment
(
)
public
void
TypeEnvironment
(
Map
<
String
,
Array
<
String
>
>
customTypes
,
Map
<
String
,
MoonLightType
>
typeEnvironment
,
Map
<
String
,
Array
<
MoonLightType
>
>
formulas
,
Set
<
String
>
edges
,
Set
<
String
>
signal
,
Set
<
String
>
location
,
Set
<
String
>
constants
)