Up – Package index » jasmin » Library jasmin.jasmin » Jasmin » Finfun » Coq_finfun

Module `Finfun.Coq_finfun`

val body : 
  Fintype.Finite.coq_type ->
  (Fintype.Finite.sort -> 'a1) ->
  'a1 finfun_of