spacepaste

Paste details

reply | raw

  1.  
  2. begin match sup, inf with
  3. | _, {kind = No_leaves} -> true
  4. | {kind = Mass_up ({cl_dist = sup_cl}, _)}, {kind = Mass_down {cl_dist = inf_cl}}
  5. | {kind = Mass_up ({cl_dist = sup_cl}, _)}, {kind = Mass_up ({cl_dist = inf_cl}, _)}
  6. | {kind = Mass_down {cl_dist = sup_cl}}, {kind = Mass_down {cl_dist = inf_cl}}
  7. | {kind = Mass_down {cl_dist = sup_cl}}, {kind = Mass_up ({cl_dist = inf_cl}, _)} ->
  8. sup_cl <= inf_cl
  9. | _, _ -> false
  10.  
Powered by spacepaste. Paste removal.