Up – Package index » jasmin » Library jasmin.jasmin » Jasmin » Utils0 » FinIsCount

Module `Utils0.FinIsCount`

val pickle : 
  Eqtype.Equality.coq_type ->
  Eqtype.Equality.sort list ->
  Eqtype.Equality.sort ->
  Datatypes.nat

val unpickle : 
  Eqtype.Equality.coq_type ->
  Eqtype.Equality.sort list ->
  Datatypes.nat ->
  Eqtype.Equality.sort option