package Snowflake

  1. Overview
  2. Docs
type supp = int list
module type MSigFRP = sig ... end
module type SigFRP = sig ... end
module MakeFRP (M0 : MSigFRP) : sig ... end
module type MSigBPP = sig ... end
module type SigBPP = sig ... end
module MakeBPP (M0 : MSigBPP) : sig ... end
module type MSig = sig ... end
module type Sig = sig ... end
module Make (M0 : MSig) : sig ... end