Library CatSem.COMP.PCF_ULC_comp

Require Export CatSem.COMP.PCF_quant.
Require Export CatSem.COMP.PCF_ULC_nounit.

Set Implicit Arguments.
Unset Strict Implicit.
Unset Printing Implicit Defensive.
Print Assumptions PCF_initial.
Definition PCF_ULC_compilation :=
    InitMor PCF_ULC.

Definition PCF_ULC_c :=
   rep_Hom_monad PCF_ULC_compilation.