Up
–
goblint
»
Goblint_parallel
»
Data
» DefaultType
Module type
Data.DefaultType
A type with a default factory
type
t
val
default :
unit
->
t
val
show :
t
->
string