inhabited_types.dk 72 Bytes
Newer Older
1 2 3
#NAME inhabited_types.

def default_value : A : fol.type -> fol.term A.